1. Aspects of mathematical logic
Author: / edited by E. Casari
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical, Congresses,Mathematics, Philosophy, Congresses
Classification :
QA9
.
A1C56
2010
2. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1
.
G6
1996a
3. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1L44
Vol
.
6
4. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1
G6
1996
5. Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
Author: edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
Classification :
QA
9
.
A1L44
Vol
.
15
6. Towards Mathematical Philosophy
Author: \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگرهها ,ریاضیات -- فلسفه -- کنگره ها
Classification :
E-Book
,
7. Towards mathematical philosophy
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Philosophy ; Congresses. ;
8. Towards mathematical philosophy
Author: / edited by David Makinson, Jacek Malinowski, Heinrich Wansing
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical--Congresses,Mathematics--Philosophy--Congresses
Classification :
QA
,
9
,.
A1
,
T68
,
2008
9. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
Author: edited by David Makinson, Jacek Malinowski, Heinrich Wansing
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
Classification :
QA
9
.
A1S78
2006
10. Towards mathematical philosophy: papers from the studia logica conference trends in logic IV
Author: Makinson, David.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
Classification :
QA
9
.
A1
.
M235
2009
11. Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
Classification :
QA
9
.
S88
2008
